Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
نویسندگان
چکیده
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance is introduced in this paper. In doing this, we use some of the advantages of PDL: firstly, we exploit the possibility of constructing complex relations from simpler ones for defining the concept of closeness and other programming commands such as while . . . do and repeat . . . until; secondly, we employ its theoretical support in order to show that the satisfiability problem is decidable. Moreover, the specific axioms of our logic have been obtained from the minimal set of formulas needed in our definition of qualitative sum of small, medium and large numbers. We also present some of the advantages of our approach on the basis of an example.
منابع مشابه
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
We introduce an Automatic Theorem Prover (ATP) of a dual tableau system for a relational logic for order of magnitude qualitative reasoning, which allows us to deal with relations such as negligibility, non-closeness and distance. Dual tableau systems are validity checkers that can serve as a tool for verification of a variety of tasks in order of magnitude reasoning, such as the use of qualita...
متن کاملLogic-based order of magnitude qualitative reasoning for closeness via proximity intervals: a first approach
Qualitative reasoning is an area of AI which provides solutions to problems where the quantitative information either is not available or can not be used; in particular, order of magnitude qualitative reasoning assumes different qualitative classes and relations such as negligibility and closeness. In this paper, we focus mainly on the very important notion of closeness from the logical point o...
متن کاملRelational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
We present a relational proof system in the style of dual tableaux for a multimodal propositional logic for order of magnitude qualitative reasoning to deal with relations of negligibility, non-closeness, and distance. This logic enables us to introduce the operation of qualitative sum for some classes of numbers. A relational formalization of the modal logic in question is introduced in this p...
متن کاملQualitative reasoning based on fuzzy relative orders of magnitude
—This paper proposes a fuzzy set-based approach for handling relative orders of magnitude stated in terms of closeness and negligibility relations. At the semantic level, these relations are represented by means of fuzzy relations controlled by tolerance parameters. A set of sound inference rules, involving the tolerance parameters, is provided, in full accordance with the combination/projectio...
متن کاملA Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance
This paper continues the research line on the multimodal logic of qualitative reasoning; specifically, it deals with the introduction of the notions non-closeness and distance. These concepts allow us to consider qualitative sum of medium and large numbers. We present a sound and complete axiomatization for this logic, together with some of its advantages by means of an example.
متن کامل